$\forall$${\it Pgm}$, ${\it Sem}$:Type, $S$:(${\it Pgm}$$\rightarrow$${\it Sem}$), ${\it equiv}$:(${\it Sem}$$\rightarrow$${\it Sem}$$\rightarrow\mathbb{P}$). K{-}sem($S$;${\it equiv}$) $\in$ (${\it Sem}$$\rightarrow$${\it Pgm}$)$\rightarrow$${\it Sem}$$\rightarrow\mathbb{P}$